/*
 * Out.java
 * 
 * Copyright 2005 Christoph Csallner and Yannis Smaragdakis.
 */
package edu.gatech.cc.cnc;

/**
 * Convenience functions for outputting text
 * 
 * @author csallner@gatech.edu (Christoph Csallner)
 * @version	$Id: $
 */
public class Out {
	
	/**
	 * Print s\n to standard out
	 * If CnC started with -counterexample flag
	 */
	public static void verbose(String s) {
		if (Main.options().counterexample) {
			System.out.println(s);
		}
	}
	
	
	/**
	 * Print s\n to standard out
	 * If CnC started with -debug flag
	 */
	public static void debug(String s) {
		if (Main.IS_DEBUG) {
			System.out.println(s);
		}
	}	
}
